A Study of Software Hazard Analysis for Safety Critical Function in Military Aircraft
نویسندگان
چکیده
منابع مشابه
Software Hazard and Safety Analysis
Safety is a system property and software, of itself, cannot be safe or unsafe. However software has a major influence on safety in many modern systems, e.g. aircraft and engine controls, railway signalling, and medical equipment. The paper outlines the principles of system hazard and safety analysis, and briefly describes work on adapting classical hazard and safety analysis techniques to apply...
متن کاملa time-series analysis of the demand for life insurance in iran
با توجه به تجزیه و تحلیل داده ها ما دریافتیم که سطح درامد و تعداد نمایندگیها باتقاضای بیمه عمر رابطه مستقیم دارند و نرخ بهره و بار تکفل با تقاضای بیمه عمر رابطه عکس دارند
Research on Formal Verification Technique for Aircraft Safety-Critical Software
As an important part of airborne avionics system, aircraft safety critical software (ASCS) plays an essential role to the safety of the aircraft, and to ensure its quality and reliability is one of the key problems we are facing. Formal methods have become important means for modeling and verifying safety critical software. In this paper, formal method is introduced into the ASCS verification f...
متن کاملcritical discourse analysis of two political speeches in light of bakhtins dialogism
چکیده گفتگوگری باختین نظریه ای است که به تفاوت ها احترام گذاشته و گفتگو را ارج می نهد. رشته های مختلف علوم انسانی همواره از این نظریه بهره جسته اند. با وجود این تنها مطالعات اندکی در زمینه تجزیه و تحلیل نقادانه کلام به نظریه گفتگوگری پرداخته اند. پنداشت تحقیق حاضر بر آن است که احترام به حقوق دیگران از طریق فراهم آوردن شرایط یکسان برای بیان نظریات مختلف یکی از مهمترین مشترکات تحلیل انتقادی گفتم...
15 صفحه اولa critical discourse analysis on gender representation in the iranian english books 2, 3 and top notch 2a, 2b a critical discourse analysis perspective
هدف از انجام تحقیق حاضر، مطالعه و بررسی نقش زنان و مردان در دو مجموعه از کتابهای درسی انگلیسی در قالب تحلیل گفتمان انتقادی و همچنین، بررسی و آشکار ساختن اصول ایدوئولوژیکی مربوط به نقش زنان و مردان در این کتابها است. این دو مجموعه کتاب عبارتنداز: کتابهای انگلیسی سال دوم و سوم دبیرستانی ایران و کتابهای تاپ ناچ 2آ و 2ب. برای انجام این منظور، مدل تحلیل گفتمان انتقادی فرکلاف مورد استفاده قرار گرفته ...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of IKEEE
سال: 2012
ISSN: 1226-7244
DOI: 10.7471/ikeee.2012.16.2.145